List of bibliographic references indexed by Enrica Nicolini
Number of relevant bibliographic references: 18.
Ident. | Authors (with country if any) | Title |
---|
002F08 (2010) |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator |
003142 (2010) |
Daniele Zucchelli [Italie] ; Enrica Nicolini [France] | A Decidability Result for the Model Checking of Infinite-State Systems |
003684 (2009-03) |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
003900 (2009) |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
003971 (2009) |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Data Structures with Arithmetic Constraints: A Non-disjoint Combination |
003984 (2009) |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Combinable Extensions of Abelian Groups |
003C83 (2009) |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Data Structures with Arithmetic Constraints: a Non-Disjoint Combination |
003C88 (2009) |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combinable Extensions of Abelian Groups |
004199 (2008) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Daniele Zucchelli [Italie] | A comprehensive combination framework |
004290 (2008) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie] | Towards SMT Model Checking of Array-Based Systems |
004526 (2008) |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
004C19 (2007) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Noetherianity and Combination Problems |
004C79 (2007) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Decision procedures for extensions of the theory of arrays |
004C91 (2007) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems |
005509 (2006) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies |
005510 (2006) |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures |
005613 (2006) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies |
005614 (2006) |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Enrica Nicolini"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i \
-Sk "Enrica Nicolini" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= Author.i
|clé= Enrica Nicolini
}}
| This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022 | |